On the rules of intermediate logics Rosalie Iemhoff ∗ Institute for Discrete Mathematics and Geometry E104, Vienna University of Technology

Source URL: www.phil.uu.nl

• Logic
• Mathematical logic
• Non-classical logic
• Modal logic
• Model theory
• Philosophical logic
• Admissible rule
• Intermediate logic
• Kripke semantics
• Propositional calculus
• Completeness
• Modal companion

IVS Newsletter Issue 8, April 2004 A Student VLBI Project −Wolfgang Winkler, IGG, Vienna University of Technology

Source URL: ivs.nict.go.jp

• Radio telescopes
• Astronomy
• Geodesy
• Astronomical imaging
• Observational astronomy
• Radio
• Interferometry
• Radio astronomy
• Very-long-baseline interferometry
• HALCA
• Fundamental station
• Algonquin Radio Observatory

Conclusions of the ASEM Workshop on TVET in the Tourism and Hospitality Sector Vienna, 20 – 21 November 2012 On invitation of the Austrian Federal Ministry of Education, the Arts and Culture (BMUKK), the “ASEM Worksh

Source URL: eu.daad.de

• Organizations associated with the Association of Southeast Asian Nations
• AsiaEurope Meeting
• Economy
• Tourism
• Business
• MODUL University Vienna
• Asem
• Education

BUSINESSFeature & MANAGEMENT Section Education History and Heritage

Source URL: www.vgse.at

• Higher education
• Education
• Academia
• University of Vienna
• Faculty of Economics and Business
• University of Zagreb
• Vienna University of Economics and Business

Fortran Program Specialization Paul Kleinrubatscher, Albert Kriegshaber, Robert Zöchling, Robert Glück1 University of Technology Vienna, Institut für Computersprachen, Argentinierstraße 8, A-1040 Vienna, Austria E-ma

Source URL: repository.readscheme.org

• Software engineering
• Computing
• Computer programming
• Procedural programming languages
• Programming languages
• Programming language implementation
• Control flow
• Compiler optimizations
• Fortran
• Partial evaluation
• Programming language
• Type system

Bank Supervision and Resolution: National and International Challenges 3-4 October 2011, Vienna The University of Vienna, the Austrian National Bank and the CEPR will host a conference on global financial stability in Vi

Source URL: finance.univie.ac.at

• Javier Surez
• CEMFI
• Community of Madrid

UNIVERSITY OF VIENNA Department for Classical Philology, Medieval and Neo Latin Studies INTERNATIONAL CONGRESS GREEK THEATRE BEYOND THE CANON

Source URL: kphil.ned.univie.ac.at

Empires and Cultures of the Pacific The 21st annual conference of the New Zealand Studies Association (NZSA), together with the the Institute for Social and Cultural Anthropology, University of Vienna,

Source URL: ag-wien.org

• Visual arts
• Austrian architecture
• Expressionist architecture
• Visionary environments
• Modern art
• Nomenclature of Territorial Units for Statistics
• KunstHausWien
• Friedensreich Hundertwasser
• Sia Figiel
• Vienna

www.oeaw. ac.at ALLEA BACKGROUND: SYMPOSIUM The topic of the symposium „The Freedom of Scientific Research in the Face of Political

Source URL: allea.org

• National academies of sciences
• All European Academies
• Academia
• Education
• Anton Zeilinger
• Vienna
• Austrian Academy of Sciences
• Academy
• University of Vienna

Augmented Visualization with Natural Feature Tracking Gábor Sörös ETH Zurich Peter Rautek Vienna University of Technology Hartmut Seichter Graz University of Technology Eduard Gröller Vienna University of Technology

Source URL: www.vs.inf.ethz.ch

• Augmented reality
• Humancomputer interaction
• Tracking
• Music tracker
• Match moving
• Software
• Filmmaking